Reachable Sets for Linear Dynamical Systems
نویسندگان
چکیده
The properties of reachable sets for linear dynamical systems for specified control sets are discussed. Iterative procedures for determining numerical approximations of the reachable set are suggested and methods of obtaining an admissible control function which transfers an initial state to as near a prescribed target as possible is described. The problem of teachability with multiple control constraints is discussed and certain aspects of teachability for time-invariant systems with adjustable parameters is considered.
منابع مشابه
Applications of Polytopic Approximations of Reachable Sets to Linear Dynamic Games and a Class of Nonlinear Systems
This paper presents applications of polytopic approximation methods for reachable set computation using dynamic optimization. The problem of computing exact reachable sets can be formulated in terms of a Hamilton-Jacobi partial differential equation (PDE). Numerical solutions which provide convergent approximations of this PDE have computational complexity which is exponential in the continuous...
متن کاملPolytopic Approximations of Reachable Sets applied to Linear Dynamic Games and to a Class of Nonlinear Systems
This paper presents applications of polytopic approximation methods for reachable set computation using dynamic optimization. The problem of computing exact reachable sets can be formulated in terms of a Hamilton-Jacobi partial differential equation (PDE). Numerical solutions which provide convergent approximations of this PDE have computational complexity which is exponential in the continuous...
متن کاملRefined Asymptotics for Singularly Perturbed Reachable Sets
We study the limit behavior of the reachable sets to singularly perturbed linear dynamic systems with time dependent coef£cients under geometric constraints on control. The system data are assumed to be Lipschitz continuous functions of time. The fast component of the phase vector is governed by a strictly stable linear system. It is shown that the reachable sets converge as the small parameter...
متن کاملReachability Analysis and its Application to the Safety Assessment of Autonomous Cars
This thesis is about the safety verification of dynamical systems using reachability analysis. Novel solutions have been developed for three major problem classes: Classical reachability analysis, stochastic reachability analysis, and their application to the safety assessment of autonomous cars. Classical reachability analysis aims to compute the exact or over-approximative set of states that ...
متن کاملAnalyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties
As an important approach to analyzing safety of a dynamic system, this paper considers the task of computing overapproximations of reachable sets, i.e. the set of states which is reachable from a given initial set of states. The class of systems under investigation are linear, time-invariant systems with parametric uncertainties and uncertain but bounded input. The possible set of system matric...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Information and Control
دوره 19 شماره
صفحات -
تاریخ انتشار 1971